<html>
<head><meta charset="utf-8"><title>meeting 2019.05.28 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html">meeting 2019.05.28</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="166748528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748528">(May 28 2019 at 19:00)</a>:</h4>
<p>Should we discuss today, <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> ?</p>



<a name="166748626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748626">(May 28 2019 at 19:01)</a>:</h4>
<p>hm, maybe briefly regarding fact generation</p>



<a name="166748645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748645">(May 28 2019 at 19:01)</a>:</h4>
<p>and hi!</p>



<a name="166748651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748651">(May 28 2019 at 19:01)</a>:</h4>
<p>Hi :)</p>



<a name="166748659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748659">(May 28 2019 at 19:01)</a>:</h4>
<p>What about fact generation in particular?</p>



<a name="166748682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748682">(May 28 2019 at 19:02)</a>:</h4>
<p>so what I did for now is adding those profiling directives and this seems to work</p>



<a name="166748723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748723">(May 28 2019 at 19:02)</a>:</h4>
<p>Yeah, great!</p>



<a name="166748730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748730">(May 28 2019 at 19:02)</a>:</h4>
<p>grep finds my output in the files</p>



<a name="166748760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748760">(May 28 2019 at 19:02)</a>:</h4>
<p>buuuut, measureme - or more precisely  - the within contained summarize tool seems to have an issue reading the generated profile events</p>



<a name="166748785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748785">(May 28 2019 at 19:03)</a>:</h4>
<p>Hi!</p>



<a name="166748796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748796">(May 28 2019 at 19:03)</a>:</h4>
<p>but  I already contacted <span class="user-mention" data-user-id="125250">@Wesley Wiser</span> and filed an issue</p>



<a name="166748837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748837">(May 28 2019 at 19:03)</a>:</h4>
<p>yep</p>



<a name="166748899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748899">(May 28 2019 at 19:04)</a>:</h4>
<p>so yeah, that's it for now...but coming back to polonius fact generation: is it just the NLL stuff or is there more going on?</p>



<a name="166748904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748904">(May 28 2019 at 19:04)</a>:</h4>
<p>that needs to be considered?</p>



<a name="166748922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748922">(May 28 2019 at 19:04)</a>:</h4>
<p>i.e., if we wanted a "more complete profile"?</p>



<a name="166748955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748955">(May 28 2019 at 19:05)</a>:</h4>
<p>Ah, you mean splitting the fact generation as a separate step of the profile?</p>



<a name="166748967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748967">(May 28 2019 at 19:05)</a>:</h4>
<p>I don't think it would be very easy to "isolate out" the polonius fact generation from other bits of NLL</p>



<a name="166748979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748979">(May 28 2019 at 19:05)</a>:</h4>
<p>or rather, the NLL has a kind of "warm up" phase where it computes various constraints</p>



<a name="166748986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166748986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166748986">(May 28 2019 at 19:05)</a>:</h4>
<p>yeah, if there's anything on the list, why not take care of it immediately</p>



<a name="166749001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749001">(May 28 2019 at 19:05)</a>:</h4>
<p>that code generates polonius facts but also generates the constraints in other forms that the existing NLL solver uses</p>



<a name="166749002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749002">(May 28 2019 at 19:05)</a>:</h4>
<p>I agree, they seem to be very closely tied together</p>



<a name="166749011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749011">(May 28 2019 at 19:05)</a>:</h4>
<p>still, it is probably a good idea to measure that "overall fact generation" time</p>



<a name="166749056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749056">(May 28 2019 at 19:06)</a>:</h4>
<p>but I'd prefer to separate it</p>



<a name="166749067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749067">(May 28 2019 at 19:06)</a>:</h4>
<p>Can/should I do anything while working on those parts to make that easier?</p>



<a name="166749074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749074">(May 28 2019 at 19:06)</a>:</h4>
<p>ok, then I'll see what I can do...</p>



<a name="166749080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749080">(May 28 2019 at 19:06)</a>:</h4>
<p>still, I wouldn't call it max importance</p>



<a name="166749093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749093">(May 28 2019 at 19:06)</a>:</h4>
<p>I guess it depends on how blocked you are by the measureme bugs :)</p>



<a name="166749116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749116">(May 28 2019 at 19:07)</a>:</h4>
<p>I guess the thing I'd love to have for my thesis later is some sort of comparison of solve time between Polonius and NLL</p>



<a name="166749125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749125">(May 28 2019 at 19:07)</a>:</h4>
<p>I think it'd be more interesting to take the "pure polonius" number -- I suspect that the "fact generation" time will be (largely) proportional -- and try to break it down per function, per test</p>



<a name="166749136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749136">(May 28 2019 at 19:07)</a>:</h4>
<p>as well as maybe trying to correlate it with the size of the input fact vectors</p>



<a name="166749156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749156">(May 28 2019 at 19:07)</a>:</h4>
<blockquote>
<p>I guess the thing I'd love to have for my thesis later is some sort of comparison of solve time between Polonius and NLL</p>
</blockquote>
<p>that I plan to address, i.e., generate profiling data for both, polonius and NLL</p>



<a name="166749265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749265">(May 28 2019 at 19:09)</a>:</h4>
<blockquote>
<p>I think it'd be more interesting to take the "pure polonius" number -- I suspect that the "fact generation" time will be (largely) proportional -- and try to break it down per function, per test</p>
</blockquote>
<p>added to my todo list</p>



<a name="166749268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749268">(May 28 2019 at 19:09)</a>:</h4>
<p>Basically our meta goal was to find more interesting benchmarks -- and I <em>think</em> the code we're most interested in measuring is that polonius execution code</p>



<a name="166749285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749285">(May 28 2019 at 19:09)</a>:</h4>
<p>I guess we find out if it's interesting or not once we have measured it</p>



<a name="166749289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749289">(May 28 2019 at 19:09)</a>:</h4>
<p>once we get that setup, we can tinker with things like whether or not to include the fact generation time</p>



<a name="166749390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749390">(May 28 2019 at 19:10)</a>:</h4>
<p>that said, yes, I think maybe the "most complete" thing to do would be to measure someting like</p>
<ul>
<li>overall MIR borrowck time</li>
<li>fact generation</li>
<li>polonius execution</li>
</ul>
<p>then we can infer (e.g.) the "non-polonius" part by subtracting from the total</p>



<a name="166749435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749435">(May 28 2019 at 19:11)</a>:</h4>
<p>So <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> -- sounded like the next steps for you would be to try and land some of the liveness work, and to plan out the initialization analysis</p>



<a name="166749441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749441">(May 28 2019 at 19:11)</a>:</h4>
<p>I guess I should check out our <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AYHJSfuXn6f1pU6CcrBPyRw_Ag-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AYHJSfuXn6f1pU6CcrBPyRw_Ag-hk3a9ynduUN2gk1A0NNTF">dropbox paper</a></p>



<a name="166749514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749514">(May 28 2019 at 19:12)</a>:</h4>
<blockquote>
<p>So <span class="user-mention silent" data-user-id="204115">Albin Stjerna</span> -- sounded like the next steps for you would be to try and land some of the liveness work, and to plan out the initialization analysis</p>
</blockquote>
<p>Yep, that's the next step I think</p>



<a name="166749535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749535">(May 28 2019 at 19:13)</a>:</h4>
<p>I guess we should start with Polonius, and then rustc</p>



<a name="166749541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749541">(May 28 2019 at 19:13)</a>:</h4>
<p>Yeah</p>



<a name="166749564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749564">(May 28 2019 at 19:13)</a>:</h4>
<p>But I think liveness works, it just doesn't work exactly like <code>region_live_at</code> from rustc yet</p>



<a name="166749565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749565">(May 28 2019 at 19:13)</a>:</h4>
<p>(I guess <span class="user-mention" data-user-id="116113">@lqd</span> is not here today, right?)</p>



<a name="166749574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749574">(May 28 2019 at 19:13)</a>:</h4>
<p>They were travelling I think?</p>



<a name="166749625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749625">(May 28 2019 at 19:14)</a>:</h4>
<blockquote>
<p>But I think liveness works, it just doesn't work exactly like <code>region_live_at</code> from rustc yet</p>
</blockquote>
<p>And we believe this is because we are not yet taking the initialization into account, right?</p>



<a name="166749629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749629">(May 28 2019 at 19:14)</a>:</h4>
<p>Are?</p>



<a name="166749632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749632">(May 28 2019 at 19:14)</a>:</h4>
<p>(How singular is singular they?)</p>



<a name="166749681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749681">(May 28 2019 at 19:15)</a>:</h4>
<p>(Indeed I am traveling <span aria-label="beach" class="emoji emoji-1f3d6" role="img" title="beach">:beach:</span> :)</p>



<a name="166749704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749704">(May 28 2019 at 19:15)</a>:</h4>
<blockquote>
<p>(How singular is singular they?)</p>
</blockquote>
<p>it's not :)</p>



<a name="166749855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749855">(May 28 2019 at 19:17)</a>:</h4>
<p>Anyway, so <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> perhaps we can schedule a time to chat about the initialization stuff? I'm thinking maybe sometime tomorrow or Thu? I'm not sure what your schedule is like</p>



<a name="166749898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166749898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166749898">(May 28 2019 at 19:18)</a>:</h4>
<blockquote>
<p>Anyway, so <span class="user-mention silent" data-user-id="204115">Albin Stjerna</span> perhaps we can schedule a time to chat about the initialization stuff? I'm thinking maybe sometime tomorrow or Thu? I'm not sure what your schedule is like</p>
</blockquote>
<p>That sounds great, yes! I'd prefer Thursday, but tomorrow works as well</p>



<a name="166750015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750015">(May 28 2019 at 19:19)</a>:</h4>
<p>Are you available at 12:00 or 13:00 (UTC-04:00)? (18:00, 19:00 CET)</p>



<a name="166750025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750025">(May 28 2019 at 19:19)</a>:</h4>
<p>I already put my calendar in EST heh</p>



<a name="166750030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750030">(May 28 2019 at 19:20)</a>:</h4>
<p>lol</p>



<a name="166750076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750076">(May 28 2019 at 19:20)</a>:</h4>
<p>Almost getting used to this</p>



<a name="166750093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750093">(May 28 2019 at 19:20)</a>:</h4>
<p>I still want the <a href="https://github.com/zulip/zulip/issues/5176" target="_blank" title="https://github.com/zulip/zulip/issues/5176">Zulip feature to put dates/times in local time zone</a></p>



<a name="166750149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750149">(May 28 2019 at 19:21)</a>:</h4>
<p>(I have a literal recurring event for Melbourne bedtime at this point)</p>



<a name="166750160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750160">(May 28 2019 at 19:21)</a>:</h4>
<p>OK, so yes!</p>



<a name="166750256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750256">(May 28 2019 at 19:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I would prefer 12 to 13 (EST), but both work!</p>



<a name="166750269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750269">(May 28 2019 at 19:22)</a>:</h4>
<p>Both Wednesday and Thursday</p>



<a name="166750289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750289">(May 28 2019 at 19:23)</a>:</h4>
<p>OK.</p>



<a name="166750306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750306">(May 28 2019 at 19:23)</a>:</h4>
<p>Created a <a href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWNyMzAxMG5iNWd0aDRjajR2b2NoczBjNHIgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com" target="_blank" title="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWNyMzAxMG5iNWd0aDRjajR2b2NoczBjNHIgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com">calendar event</a></p>



<a name="166750314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750314">(May 28 2019 at 19:23)</a>:</h4>
<p>I'll theoretically do some preparation :) but maybe we'll just discuss it on the fly</p>



<a name="166750328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750328">(May 28 2019 at 19:23)</a>:</h4>
<p>Anyway, if you can send me some links to PRs that need to be merged, would be great</p>



<a name="166750329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750329">(May 28 2019 at 19:23)</a>:</h4>
<p>:)</p>



<a name="166750330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750330">(May 28 2019 at 19:23)</a>:</h4>
<p>I'll do some preparation as well</p>



<a name="166750386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750386">(May 28 2019 at 19:24)</a>:</h4>
<p>Sure! Do I version-bump Polonius as well?</p>



<a name="166750587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750587">(May 28 2019 at 19:27)</a>:</h4>
<p>yeah</p>



<a name="166750910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166750910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166750910">(May 28 2019 at 19:31)</a>:</h4>
<p>Ok! I'll tell you when I'm ready!</p>



<a name="166752211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166752211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166752211">(May 28 2019 at 19:45)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Ok, I think I've version-bumped everything in <a href="https://github.com/rust-lang-nursery/polonius/issues/105" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/105">polonius#105</a>, if it passes its checks it should be ready for merge</p>



<a name="166752229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/166752229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#166752229">(May 28 2019 at 19:46)</a>:</h4>
<p>I'll do rustc tomorrow</p>



<a name="167212752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/167212752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#167212752">(Jun 03 2019 at 17:36)</a>:</h4>
<p>posted this meeting's minutes <a href="https://github.com/rust-lang/compiler-team/pull/101" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/101">here</a></p>



<a name="167213338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/167213338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#167213338">(Jun 03 2019 at 17:43)</a>:</h4>
<p>(as I only experienced the meeting reading it after the fact, I tried to be more precise this time (but should do so all the time) and I hope I didn't make mistakes)</p>



<a name="167220990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/167220990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#167220990">(Jun 03 2019 at 19:06)</a>:</h4>
<p>(mistakes other than my spelling of "segue" as "segway" of course <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span>)</p>



<a name="167230665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/167230665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#167230665">(Jun 03 2019 at 20:51)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Thank you, I'll have  a look at them!</p>



<a name="167298936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/167298936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#167298936">(Jun 04 2019 at 14:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Looks good!</p>



<a name="167298974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.28/near/167298974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E28.html#167298974">(Jun 04 2019 at 14:24)</a>:</h4>
<p>thanks for looking</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>